41. Lexical knowledge in the organization of language
پدیدآورنده : edited by Urs Egli ... ]et al.[
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Congresses ، Lexicology,Variation Congresses ، Language and languages,Congresses ، Semantics
رده :
P
326
.
L383
1995
42. Lexical knowledge in the organization of language /
پدیدآورنده : edited by Urs Egli ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and languages-- Variation-- Congresses,Lexicology-- Congresses,Semantics-- Congresses
رده :
P326
.
L383
1995
43. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
44. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
45. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
46. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
47. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
48. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
49. Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988: Proceedings
پدیدآورنده : A. Blaser, ed
کتابخانه: (طهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax -- Congresses ، Programming languages )Electronic computers(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
320
50. Natural language at the computer: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
51. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
52. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
53. OOIS'96 :
پدیدآورنده : edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
54. On the move to meaningful internet systems:
پدیدآورنده : Robert Meersman, [and 7 more] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
رده :
TK5105
.
3
R634
2013
55. Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976
پدیدآورنده : edited by Wayne Cowell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analyse numérique -- Programmes d'ordinateur -- Congrès.,Numerical analysis -- Computer programs -- Congresses.,Software compatibility -- Congresses.
56. Pragmatics and the flexibility of word meaning /
پدیدآورنده : T. Enikő Németh & Károly Bibok.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Pragmatics, Congresses.,Semantics, Congresses.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Sociolinguistics.,Languages & Literatures.,Philology & Linguistics.,Pragmatics.,Semantics.,Woordbetekenis.
رده :
P99
.
4
.
P72
N377
2001eb
57. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2003
58. Programmiersprachen und Programmentwicklung :
پدیدآورنده : herausgegeben von Hans Wössner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
رده :
QA76
.
7
H473
1982
59. Programming languages :
پدیدآورنده : André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
60. Programming languages and systems :
پدیدآورنده : Amal Ahmed (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
